1. Logic Colloquium' 88: Proceedings of the Colloquium held in Padova, Italy, August 22-21, 1988
پدیدآورنده: Logic Colloquium )8891: Padova, Italy(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathemaical-- Congresses,، Model theory-- Congresses
رده :
QA
9
.
A1
.
L63
1988


2. Model theory
پدیدآورنده: Chang, C C
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Model theory,، Logic, symbolic and mathemaical
رده :
QA
9
.
C5

